Computability logic
計算可能性論理
Computability logic - Wikipedia
Giorgi Japaridze
による
計算可能性
の形式化
古典論理では論理式は真偽を表していたのに対して，Computability Logicでは論理式は
計算可能性問題
的なyes/noを表す．
2023.05.08